Library for Systematic Search for Expressions
نویسنده
چکیده
In our previous work we showed that systematic search approach to inductive functional programming automation makes a remarkably efficient algorithm, but the applicability of the implemented program was limited by the very poor interpreter incorporated. In this paper, we present a library-based implementation of our systematic search algorithm which is supposed to be used with a well-known Haskell interpreter. Key-Words: inductive program synthesis, functional programming, library design, metaprogramming, Template Haskell, artificial intelligence
منابع مشابه
Ethical Patient Prioritization in Disaster Triage: A Protocol for a Systematic Review
Background: Disasters are medically defined as events in which the demands for patients’ care far exceed the available resources. In such situations, triage and rationing of limited resources are inevitable. A decision regarding triage needs not only scientific guidelines but also an ethical framework and supporting policies. This study aims to provide a comprehensive review of the criteria for...
متن کاملFactors Involved in Missed Nursing Care: A Systematic Review
Background. Missed Nursing Care (MNC) is experienced in nearly all health care facilities. Awareness of the aspects involved in the occurrence of MNC can lead to the improvement of the quality of patient care. This systematic review aims to answer the question: "What factors are involved in the incidence of missed nursing care?" Methods. This systematic review follows the Preferred Reporting...
متن کاملDysphagia Improvement Using Acupuncture Therapy: A Systematic Review
Background. Dysphagia is a common complication in patients with stroke. The research on acupuncture treatment of dysphagia has increased, but the results are not consistent. In this review we intend to answer “what is the potential of acupuncture in treating dysphagia in stroke patients and which acupuncture points are the most promising for treating dysphagia?” Methods. This systematic review...
متن کاملAssessment of Accommodation of Anthropometric Dimension with Classroom Furniture : systematic review article
Introduction: Mismatch of anthropometric dimensions and classroom furniture such as table, chair and bench can cause musculoskeletal disorder, back pain, neck pain and Fatigue. The purpose of this study is to summarize the results of existing studies on the relationship between students’ anthropometric dimensions and furniture in Iranian schools. Materials and Methods: For finding documenta...
متن کاملEffect of Valerian on Sleep Disorder in Postmenopausal Women: A Systematic Review
Introduction: Menopause-related sleep problems do not necessarily affect the amount of sleep but also the quality of sleep. The most likely mechanism of action of valerian on sleep is its effect on GABA receptors. The aim of this study was to summarize the results of clinical trials on the effect of valerian on sleep disorders in postmenopausal women by systematic review. Materials and Methods...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007